The Automorphism Group of Falsum-Free Product Logic
نویسنده
چکیده
Abstract. A few things are known, and many are unknown, on the automorphism group of the free MV-algebra over n − 1 generators. In this paper we show that this group appears as the stabilizer of 1l in the larger group of all automorphisms of the free cancellative hoop over n generators. Both groups have a dual action on the same space, namely the (n − 1)-dimensional cube. The larger group has a richer dynamics, at the expense of loosing the two key features of the McNaughton homeomorphisms: preservation of denominators of rational points, and preservation of the Lebesgue measure. We present here some basic results, some examples, and some problems.
منابع مشابه
Negational Fragment of Intuitionistic Control Logic
We investigate properties of monadic purely negational fragment of Intuitionistic Control Logic (ICL). This logic arises from Intuitionistic Propositional Logic (IPL) by extending language of IPL by additional new constant for falsum. Having two different falsum constants enables to define two forms of negation. We analyse implicational relations between negational monadic formulae and present ...
متن کاملThe Euler Characteristic of the Whitehead Automorphism Group of a Free Product
A combinatorial summation identity over the lattice of labelled hypertrees is established that allows one to gain concrete information on the Euler characteristics of various automorphism groups of free products of groups. In particular, we establish formulae for the Euler characteristics of: the group of Whitehead automorphisms Wh(∗ i=1 Gi) when the Gi are of finite homological type; Aut(∗ i=1...
متن کاملOn automorphism groups of circulant digraphs of square-free order
We show that the full automorphism group of a circulant digraph of square-free order is either the intersection of two 2-closed groups, each of which is the wreath product of 2-closed groups of smaller degree, or contains a transitive normal subgroup which is the direct product of two 2-closed groups of smaller degree. The work in this paper makes contributions to the solutions of two problems ...
متن کاملFinite Fixed Point Free Automorphism Groups
Preface A famous theorem by Frobenius in 1901 proves that if a group G contains a proper non trivial subgroup H such that H ∩ g −1 Hg = {1 G } for all g ∈ G \ H, then there exists a normal subgroup N such that G is the semidirect product of N and H. Groups with this property-the so called Frobenius groups-arise in a natural way as transitive permutation groups, but they can also be characterize...
متن کاملNILPOTENCY AND SOLUBILITY OF GROUPS RELATIVE TO AN AUTOMORPHISM
In this paper we introduce the concept of α-commutator which its definition is based on generalized conjugate classes. With this notion, α-nilpotent groups, α-solvable groups, nilpotency and solvability of groups related to the automorphism are defined. N(G) and S(G) are the set of all nilpotency classes and the set of all solvability classes for the group G with respect to different automorphi...
متن کامل